home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / cocktail / lalr.lha / lalr / src / Infos.md < prev    next >
Text File  |  1992-08-18  |  452b  |  24 lines
  1. (* print some informations about the generation *)
  2.  
  3. (* $Id: Infos.md,v 1.1 1991/11/21 14:53:14 grosch rel $ *)
  4.  
  5. (* $Log: Infos.md,v $
  6.  * Revision 1.1  1991/11/21  14:53:14  grosch
  7.  * new version of RCS on SPARC
  8.  *
  9.  * Revision 1.0  88/10/04  14:36:25  vielsack
  10.  * Initial revision
  11.  * 
  12.  *)
  13.  
  14. DEFINITION MODULE Infos;
  15.  
  16.   FROM IO IMPORT
  17.     tFile;
  18.  
  19.   PROCEDURE WriteInfo (f: tFile);
  20.  
  21.   (* Ausgabe von statistischen Informationen auf file 'f' *)
  22.  
  23. END Infos.
  24.